P4_NAME=knet_mgr_test
update:
	$(MAKE) -C .. update
run:
	$(SDE)/run_switchd.sh -p $(P4_NAME)
stop:
	pkill run_switchd || true
connect:
	bfshell -f connectivity_configuration.txt
login:
	bfshell
build:
	$(HOME)/p4_build.sh ./$(P4_NAME).p4
configure:
	$(SDE)/run_p4_tests.sh -t ./ptf
model:
	$(SDE_INSTALL)/bin/veth_setup.sh
	$(SDE_INSTALL)/bin/dma_setup.sh
	$(SDE)/run_tofino_model.sh -p $(P4_NAME)
